Monad Sets – Implementation and Mathematical Foundations
نویسنده
چکیده
A Proof of the uniqueness of monad sets 4 A.
منابع مشابه
A RELATION BETWEEN THE CATEGORIES Set * , SetT, Set AND SetT
In this article, we have shown, for the add-point monad T, thepartial morphism category Set*is isomorphic to the Kleisli category SetT. Alsowe have proved that the category, SetT, of T-algebras is isomorphic to thecategory Set of pointed sets. Finally we have established commutative squaresinvolving these categories.
متن کاملPOWERSET OPERATOR FOUNDATIONS FOR CATALG FUZZY SET THEORIES
The paper sets forth in detail categorically-algebraic or catalg foundations for the operations of taking the image and preimage of (fuzzy) sets called forward and backward powerset operators. Motivated by an open question of S. E. Rodabaugh, we construct a monad on the category of sets, the algebras of which generate the fixed-basis forward powerset operator of L. A. Zadeh. On the next step, w...
متن کاملDatabases as Graphical Algebras : Algebraic Graph - Based Approach to Data Modeling andDatabase
The approach we suggest is based on a graphical speciication language possessing formal semantics so that graphical images themselves are precise speciications suitable for implementation. Our speciications are similar to the sketches developed in the category theory but, in contrast to them, enjoy the possibility of setting arbitrary signatures of diagram properties and operations. An importan...
متن کاملWeak n-categories: comparing opetopic foundations
We define the category of tidy symmetric multicategories. We construct for each tidy symmetric multicategory Q a cartesian monad (EQ, TQ) and extend this assignation to a functor. We exhibit a relationship between the slice construction on symmetric multicategories, and the ‘free operad’ monad construction on suitable monads. We use this to give an explicit description of the relationship betwe...
متن کاملA Monadic, Functional Implementation of Real Numbers
Large scale real number computation is an essential ingredient in several modern mathematical proofs. Because such lengthy computations cannot be verified by hand, some mathematicians want to use software proof assistants to verify the correctness of these proofs. This paper develops a new implementation of the constructive real numbers and elementary functions for such proofs by using the mona...
متن کامل